ePMC - pnueli-zuck live 30

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 996 996
build-model-states-explored 2163 1167
build-model-states-explored 3324 1161
build-model-states-explored 4473 1149
build-model-states-explored 5615 1142
build-model-states-explored 6760 1145
build-model-states-explored 7926 1166
build-model-states-explored 9044 1118
build-model-states-explored 10193 1149
build-model-states-explored 11335 1142
build-model-states-explored 12502 1167
build-model-states-explored 13667 1165
build-model-states-explored 14831 1164
build-model-states-explored 16000 1169
build-model-states-explored 17164 1164
build-model-states-explored 18243 1079
build-model-states-explored 19400 1157
build-model-states-explored 20557 1157
build-model-states-explored 21707 1150
build-model-states-explored 22849 1142
build-model-states-explored 23965 1116
build-model-states-explored 25130 1165
build-model-states-explored 26293 1163
build-model-states-explored 27457 1164
build-model-states-explored 28618 1161
build-model-states-explored 29776 1158
build-model-states-explored 30924 1148
build-model-states-explored 32080 1156
build-model-states-explored 33231 1151
build-model-states-explored 34384 1153
build-model-states-explored 35381 997
build-model-states-explored 36532 1151
build-model-states-explored 37678 1146
build-model-states-explored 38826 1148
build-model-states-explored 39969 1143
build-model-states-explored 41111 1142
build-model-states-explored 42250 1139
build-model-states-explored 43387 1137
build-model-states-explored 44522 1135
build-model-states-explored 45661 1139
build-model-states-explored 46795 1134
build-model-states-explored 47931 1136
build-model-states-explored 49069 1138
build-model-states-explored 50196 1127
build-model-states-explored 51318 1122
build-model-states-explored 52429 1111
build-model-states-explored 53500 1071
build-model-states-explored 54664 1164
build-model-states-explored 55821 1157
build-model-states-explored 56978 1157
build-model-states-explored 58142 1164
build-model-states-explored 59302 1160
build-model-states-explored 60460 1158
build-model-states-explored 61619 1159
build-model-states-explored 62778 1159
build-model-states-explored 63934 1156
build-model-states-explored 65086 1152
build-model-states-explored 66238 1152
build-model-states-explored 67388 1150
build-model-states-explored 68538 1150
build-model-states-explored 69376 838
build-model-states-explored 70522 1146
build-model-states-explored 71668 1146
build-model-states-explored 72803 1135
build-model-states-explored 73935 1132
build-model-states-explored 75075 1140
build-model-states-explored 76210 1135
build-model-states-explored 77352 1142
build-model-states-explored 78489 1137
build-model-states-explored 79625 1136
build-model-states-explored 80759 1134
build-model-states-explored 81888 1129
build-model-states-explored 83018 1130
build-model-states-explored 84146 1128
build-model-states-explored 85271 1125
build-model-states-explored 86395 1124
build-model-states-explored 87524 1129
build-model-states-explored 88651 1127
build-model-states-explored 89779 1128
build-model-states-explored 90913 1134
build-model-states-explored 92050 1137
build-model-states-explored 93177 1127
build-model-states-explored 94304 1127
build-model-states-explored 95432 1128
build-model-states-explored 96548 1116
build-model-states-explored 97658 1110
build-model-states-explored 98749 1091
build-model-states-explored 99858 1109
build-model-states-explored 100959 1101
build-model-states-explored 102054 1094
build-model-states-explored 103136 1083
build-model-states-explored 104193 1056
build-model-states-explored 105261 1069
build-model-states-explored 106323 1062
build-model-states-explored 107363 1040
build-model-states-explored 108400 1037
build-model-states-explored 109406 1006
build-model-states-explored 110542 1136
build-model-states-explored 111687 1145
build-model-states-explored 112819 1132
build-model-states-explored 113961 1142
build-model-states-explored 115107 1146
build-model-states-explored 116254 1147
build-model-states-explored 117395 1141
build-model-states-explored 118542 1147
build-model-states-explored 119687 1145
build-model-states-explored 120828 1141
build-model-states-explored 121972 1144
build-model-states-explored 123115 1142
build-model-states-explored 124259 1145
build-model-states-explored 125405 1146
build-model-states-explored 126551 1146
build-model-states-explored 127680 1129
build-model-states-explored 128837 1157
build-model-states-explored 129992 1155
build-model-states-explored 131144 1152
build-model-states-explored 132298 1154
build-model-states-explored 133448 1150
build-model-states-explored 134594 1146
build-model-states-explored 135744 1150
build-model-states-explored 136888 1144
build-model-states-explored 138031 1143
build-model-states-explored 138561 530
build-model-states-explored 139704 1143
build-model-states-explored 140842 1138
build-model-states-explored 141986 1144
build-model-states-explored 143124 1138
build-model-states-explored 144263 1139
build-model-states-explored 145398 1135
build-model-states-explored 146534 1136
build-model-states-explored 147670 1136
build-model-states-explored 148808 1138
build-model-states-explored 149938 1130
build-model-states-explored 151069 1131
build-model-states-explored 152201 1132
build-model-states-explored 153333 1132
build-model-states-explored 154462 1129
build-model-states-explored 155589 1127
build-model-states-explored 156717 1128
build-model-states-explored 157849 1132
build-model-states-explored 158978 1129
build-model-states-explored 160113 1135
build-model-states-explored 161254 1141
build-model-states-explored 162391 1137
build-model-states-explored 163524 1133
build-model-states-explored 164655 1131
build-model-states-explored 165777 1122
build-model-states-explored 166906 1129
build-model-states-explored 168032 1126
build-model-states-explored 169157 1125
build-model-states-explored 170281 1124
build-model-states-explored 171389 1108
build-model-states-explored 172499 1110
build-model-states-explored 173611 1112
build-model-states-explored 174709 1098
build-model-states-explored 175833 1124
build-model-states-explored 176951 1118
build-model-states-explored 178065 1114
build-model-states-explored 179178 1113
build-model-states-explored 180285 1107
build-model-states-explored 181389 1104
build-model-states-explored 182496 1107
build-model-states-explored 183602 1106
build-model-states-explored 184703 1101
build-model-states-explored 185810 1107
build-model-states-explored 186915 1105
build-model-states-explored 188018 1103
build-model-states-explored 189137 1119
build-model-states-explored 190253 1116
build-model-states-explored 191362 1109
build-model-states-explored 192452 1090
build-model-states-explored 193543 1091
build-model-states-explored 194627 1084
build-model-states-explored 195697 1070
build-model-states-explored 196750 1053
build-model-states-explored 197820 1070
build-model-states-explored 198877 1057
build-model-states-explored 199952 1075
build-model-states-explored 201018 1066
build-model-states-explored 202094 1076
build-model-states-explored 203145 1051
build-model-states-explored 204213 1068
build-model-states-explored 205277 1064
build-model-states-explored 206336 1059
build-model-states-explored 207391 1055
build-model-states-explored 208445 1054
build-model-states-explored 209499 1054
build-model-states-explored 210539 1040
build-model-states-explored 211595 1056
build-model-states-explored 212665 1070
build-model-states-explored 213743 1078
build-model-states-explored 214814 1071
build-model-states-explored 215876 1062
build-model-states-explored 216915 1039
build-model-states-explored 217928 1013
build-model-states-explored 218955 1027
build-model-states-explored 219965 1010
build-model-states-explored 220977 1012
build-model-states-explored 222017 1040
build-model-states-explored 223040 1023
build-model-states-explored 224059 1019
build-model-states-explored 225077 1018
build-model-states-explored 226065 988
build-model-states-explored 227073 1008
build-model-states-explored 228074 1001
build-model-states-explored 229059 985
build-model-states-explored 230041 982
build-model-states-explored 231024 983
build-model-states-explored 231984 960
build-model-states-explored 233001 1017
build-model-states-explored 233843 842
build-model-states-explored 234988 1145
build-model-states-explored 236135 1147
build-model-states-explored 237282 1147
build-model-states-explored 238400 1118
build-model-states-explored 239525 1125
build-model-states-explored 240646 1121
build-model-states-explored 241770 1124
build-model-states-explored 242886 1116
build-model-states-explored 244011 1125
build-model-states-explored 245132 1121
build-model-states-explored 246252 1120
build-model-states-explored 247371 1119
build-model-states-explored 248492 1121
build-model-states-explored 249612 1120
build-model-states-explored 250739 1127
build-model-states-explored 251863 1124
build-model-states-explored 253001 1138
build-model-states-explored 254144 1143
build-model-states-explored 255289 1145
build-model-states-explored 256406 1117
build-model-states-explored 257529 1123
build-model-states-explored 258642 1113
build-model-states-explored 259765 1123
build-model-states-explored 260886 1121
build-model-states-explored 262004 1118
build-model-states-explored 263119 1115
build-model-states-explored 264239 1120
build-model-states-explored 265357 1118
build-model-states-explored 266483 1126
build-model-states-explored 267605 1122
build-model-states-explored 268726 1121
build-model-states-explored 269842 1116
build-model-states-explored 270975 1133
build-model-states-explored 272078 1103
build-model-states-explored 273197 1119
build-model-states-explored 274318 1121
build-model-states-explored 275438 1120
build-model-states-explored 275806 368
build-model-states-explored 276467 661
build-model-states-explored 277579 1112
build-model-states-explored 278693 1114
build-model-states-explored 279810 1117
build-model-states-explored 280932 1122
build-model-states-explored 282066 1134
build-model-states-explored 283203 1137
build-model-states-explored 284326 1123
build-model-states-explored 285438 1112
build-model-states-explored 286543 1105
build-model-states-explored 287651 1108
build-model-states-explored 288763 1112
build-model-states-explored 289871 1108
build-model-states-explored 290984 1113
build-model-states-explored 292092 1108
build-model-states-explored 293212 1120
build-model-states-explored 294333 1121
build-model-states-explored 295447 1114
build-model-states-explored 296548 1101
build-model-states-explored 297653 1105
build-model-states-explored 298754 1101
build-model-states-explored 299864 1110
build-model-states-explored 300969 1105
build-model-states-explored 302078 1109
build-model-states-explored 303215 1137
build-model-states-explored 304337 1122
build-model-states-explored 305440 1103
build-model-states-explored 306542 1102
build-model-states-explored 307649 1107
build-model-states-explored 308757 1108
build-model-states-explored 309860 1103
build-model-states-explored 310995 1135
build-model-states-explored 312109 1114
build-model-states-explored 313204 1095
build-model-states-explored 314313 1109
build-model-states-explored 315415 1102
build-model-states-explored 316517 1102
build-model-states-explored 317651 1134
build-model-states-explored 318753 1102
build-model-states-explored 319857 1104
build-model-states-explored 320953 1096
build-model-states-explored 322064 1111
build-model-states-explored 323187 1123
build-model-states-explored 324291 1104
build-model-states-explored 325385 1094
build-model-states-explored 326496 1111
build-model-states-explored 327615 1119
build-model-states-explored 328722 1107
build-model-states-explored 329844 1122
build-model-states-explored 330962 1118
build-model-states-explored 332072 1110
build-model-states-explored 333196 1124
build-model-states-explored 334306 1110
build-model-states-explored 335416 1110
build-model-states-explored 336523 1107
build-model-states-explored 337635 1112
build-model-states-explored 338751 1116
build-model-states-explored 339875 1124
build-model-states-explored 341009 1134
build-model-states-explored 342129 1120
build-model-states-explored 343251 1122
build-model-states-explored 344365 1114
build-model-states-explored 345476 1111
build-model-states-explored 346573 1097
build-model-states-explored 347658 1085
build-model-states-explored 348767 1109
build-model-states-explored 349893 1126
build-model-states-explored 351018 1125
build-model-states-explored 352141 1123
build-model-states-explored 353275 1134
build-model-states-explored 354400 1125
build-model-states-explored 355523 1123
build-model-states-explored 356648 1125
build-model-states-explored 357775 1127
build-model-states-explored 358901 1126
build-model-states-explored 360022 1121
build-model-states-explored 361141 1119
build-model-states-explored 362250 1109
build-model-states-explored 363363 1113
build-model-states-explored 364480 1117
build-model-states-explored 365594 1114
build-model-states-explored 366705 1111
build-model-states-explored 367787 1082
build-model-states-explored 368896 1109
build-model-states-explored 370009 1113
build-model-states-explored 371113 1104
build-model-states-explored 372219 1106
build-model-states-explored 373328 1109
build-model-states-explored 374434 1106
build-model-states-explored 375538 1104
build-model-states-explored 376646 1108
build-model-states-explored 377749 1103
build-model-states-explored 378848 1099
build-model-states-explored 379948 1100
build-model-states-explored 381048 1100
build-model-states-explored 382145 1097
build-model-states-explored 383244 1099
build-model-states-explored 384346 1102
build-model-states-explored 385447 1101
build-model-states-explored 386558 1111
build-model-states-explored 387659 1101
build-model-states-explored 388769 1110
build-model-states-explored 389875 1106
build-model-states-explored 390982 1107
build-model-states-explored 392093 1111
build-model-states-explored 393196 1103
build-model-states-explored 394299 1103
build-model-states-explored 395399 1100
build-model-states-explored 396505 1106
build-model-states-explored 397601 1096
build-model-states-explored 398697 1096
build-model-states-explored 399793 1096
build-model-states-explored 400869 1076
build-model-states-explored 401953 1084
build-model-states-explored 403035 1082
build-model-states-explored 404119 1084
build-model-states-explored 405202 1083
build-model-states-explored 406261 1059
build-model-states-explored 407317 1056
build-model-states-explored 408385 1068
build-model-states-explored 409443 1058
build-model-states-explored 410508 1065
build-model-states-explored 411589 1081
build-model-states-explored 412669 1080
build-model-states-explored 413734 1065
build-model-states-explored 414808 1074
build-model-states-explored 415878 1070
build-model-states-explored 416944 1066
build-model-states-explored 418010 1066
build-model-states-explored 419074 1064
build-model-states-explored 420141 1067
build-model-states-explored 421212 1071
build-model-states-explored 422287 1075
build-model-states-explored 423356 1069
build-model-states-explored 424433 1077
build-model-states-explored 425524 1091
build-model-states-explored 426612 1088
build-model-states-explored 427695 1083
build-model-states-explored 428781 1086
build-model-states-explored 429875 1094
build-model-states-explored 430959 1084
build-model-states-explored 432040 1081
build-model-states-explored 433107 1067
build-model-states-explored 434177 1070
build-model-states-explored 435252 1075
build-model-states-explored 436322 1070
build-model-states-explored 437386 1064
build-model-states-explored 438452 1066
build-model-states-explored 439503 1051
build-model-states-explored 440556 1053
build-model-states-explored 441614 1058
build-model-states-explored 442663 1049
build-model-states-explored 443722 1059
build-model-states-explored 444775 1053
build-model-states-explored 445837 1062
build-model-states-explored 446887 1050
build-model-states-explored 447939 1052
build-model-states-explored 448982 1043
build-model-states-explored 450023 1041
build-model-states-explored 451066 1043
build-model-states-explored 452102 1036
build-model-states-explored 453144 1042
build-model-states-explored 454193 1049
build-model-states-explored 455236 1043
build-model-states-explored 456277 1041
build-model-states-explored 457351 1074
build-model-states-explored 458400 1049
build-model-states-explored 459443 1043
build-model-states-explored 460485 1042
build-model-states-explored 461520 1035
build-model-states-explored 462565 1045
build-model-states-explored 463605 1040
build-model-states-explored 464647 1042
build-model-states-explored 465686 1039
build-model-states-explored 466721 1035
build-model-states-explored 467740 1019
build-model-states-explored 468754 1014
build-model-states-explored 469772 1018
build-model-states-explored 470777 1005
build-model-states-explored 471796 1019
build-model-states-explored 472828 1032
build-model-states-explored 473858 1030
build-model-states-explored 474871 1013
build-model-states-explored 475887 1016
build-model-states-explored 476902 1015
build-model-states-explored 477900 998
build-model-states-explored 478902 1002
build-model-states-explored 479902 1000
build-model-states-explored 480908 1006
build-model-states-explored 481902 994
build-model-states-explored 482909 1007
build-model-states-explored 483905 996
build-model-states-explored 484915 1010
build-model-states-explored 485918 1003
build-model-states-explored 486929 1011
build-model-states-explored 487932 1003
build-model-states-explored 488901 969
build-model-states-explored 489872 971
build-model-states-explored 490626 754
build-model-states-explored 491552 926
build-model-states-explored 492671 1119
build-model-states-explored 493787 1116
build-model-states-explored 494910 1123
build-model-states-explored 496025 1115
build-model-states-explored 497158 1133
build-model-states-explored 498282 1124
build-model-states-explored 499411 1129
build-model-states-explored 500537 1126
build-model-states-explored 501658 1121
build-model-states-explored 502780 1122
build-model-states-explored 503904 1124
build-model-states-explored 505027 1123
build-model-states-explored 506150 1123
build-model-states-explored 507268 1118
build-model-states-explored 508397 1129
build-model-states-explored 509529 1132
build-model-states-explored 510664 1135
build-model-states-explored 511802 1138
build-model-states-explored 512937 1135
build-model-states-explored 514051 1114
build-model-states-explored 515159 1108
build-model-states-explored 516279 1120
build-model-states-explored 517391 1112
build-model-states-explored 518515 1124
build-model-states-explored 519633 1118
build-model-states-explored 520754 1121
build-model-states-explored 521874 1120
build-model-states-explored 522989 1115
build-model-states-explored 524105 1116
build-model-states-explored 525218 1113
build-model-states-explored 526335 1117
build-model-states-explored 527449 1114
build-model-states-explored 528560 1111
build-model-states-explored 529682 1122
build-model-states-explored 530808 1126
build-model-states-explored 531934 1126
build-model-states-explored 533062 1128
build-model-states-explored 534187 1125
build-model-states-explored 535297 1110
build-model-states-explored 536415 1118
build-model-states-explored 537518 1103
build-model-states-explored 538627 1109
build-model-states-explored 539727 1100
build-model-states-explored 540840 1113
build-model-states-explored 541948 1108
build-model-states-explored 543054 1106
build-model-states-explored 544158 1104
build-model-states-explored 545261 1103
build-model-states-explored 546364 1103
build-model-states-explored 547474 1110
build-model-states-explored 548583 1109
build-model-states-explored 549704 1121
build-model-states-explored 550173 469
build-model-states-explored 550173 0
build-model-states-explored 550843 670
build-model-states-explored 551975 1132
build-model-states-explored 553082 1107
build-model-states-explored 554192 1110
build-model-states-explored 555292 1100
build-model-states-explored 556402 1110
build-model-states-explored 557511 1109
build-model-states-explored 558614 1103
build-model-states-explored 559716 1102
build-model-states-explored 560823 1107
build-model-states-explored 561931 1108
build-model-states-explored 563044 1113
build-model-states-explored 564154 1110
build-model-states-explored 565278 1124
build-model-states-explored 566411 1133
build-model-states-explored 567544 1133
build-model-states-explored 568646 1102
build-model-states-explored 569756 1110
build-model-states-explored 570865 1109
build-model-states-explored 571965 1100
build-model-states-explored 573072 1107
build-model-states-explored 574181 1109
build-model-states-explored 575287 1106
build-model-states-explored 576395 1108
build-model-states-explored 577499 1104
build-model-states-explored 578623 1124
build-model-states-explored 579751 1128
build-model-states-explored 580872 1121
build-model-states-explored 581972 1100
build-model-states-explored 583067 1095
build-model-states-explored 584169 1102
build-model-states-explored 585270 1101
build-model-states-explored 586372 1102
build-model-states-explored 587474 1102
build-model-states-explored 588571 1097
build-model-states-explored 589688 1117
build-model-states-explored 590818 1130
build-model-states-explored 591929 1111
build-model-states-explored 593001 1072
build-model-states-explored 594074 1073
build-model-states-explored 595167 1093
build-model-states-explored 596253 1086
build-model-states-explored 597351 1098
build-model-states-explored 598453 1102
build-model-states-explored 599573 1120
build-model-states-explored 600699 1126
build-model-states-explored 601792 1093
build-model-states-explored 602887 1095
build-model-states-explored 603980 1093
build-model-states-explored 605082 1102
build-model-states-explored 606175 1093
build-model-states-explored 607293 1118
build-model-states-explored 608415 1122
build-model-states-explored 609508 1093
build-model-states-explored 610602 1094
build-model-states-explored 611690 1088
build-model-states-explored 612786 1096
build-model-states-explored 613902 1116
build-model-states-explored 615010 1108
build-model-states-explored 616105 1095
build-model-states-explored 617201 1096
build-model-states-explored 618282 1081
build-model-states-explored 619394 1112
build-model-states-explored 620484 1090
build-model-states-explored 621571 1087
build-model-states-explored 622662 1091
build-model-states-explored 623778 1116
build-model-states-explored 624883 1105
build-model-states-explored 625986 1103
build-model-states-explored 627102 1116
build-model-states-explored 628205 1103
build-model-states-explored 629320 1115
build-model-states-explored 630426 1106
build-model-states-explored 631537 1111
build-model-states-explored 632641 1104
build-model-states-explored 633739 1098
build-model-states-explored 634854 1115
build-model-states-explored 635965 1111
build-model-states-explored 637095 1130
build-model-states-explored 638211 1116
build-model-states-explored 639323 1112
build-model-states-explored 640445 1122
build-model-states-explored 641553 1108
build-model-states-explored 642651 1098
build-model-states-explored 643749 1098
build-model-states-explored 644881 1132
build-model-states-explored 646003 1122
build-model-states-explored 647125 1122
build-model-states-explored 648254 1129
build-model-states-explored 649379 1125
build-model-states-explored 650507 1128
build-model-states-explored 651631 1124
build-model-states-explored 652744 1113
build-model-states-explored 653860 1116
build-model-states-explored 654977 1117
build-model-states-explored 656088 1111
build-model-states-explored 657202 1114
build-model-states-explored 658312 1110
build-model-states-explored 659406 1094
build-model-states-explored 660488 1082
build-model-states-explored 661564 1076
build-model-states-explored 662669 1105
build-model-states-explored 663786 1117
build-model-states-explored 664898 1112
build-model-states-explored 666014 1116
build-model-states-explored 667123 1109
build-model-states-explored 668240 1117
build-model-states-explored 669339 1099
build-model-states-explored 670446 1107
build-model-states-explored 671554 1108
build-model-states-explored 672659 1105
build-model-states-explored 673768 1109
build-model-states-explored 674878 1110
build-model-states-explored 675989 1111
build-model-states-explored 677100 1111
build-model-states-explored 678217 1117
build-model-states-explored 679338 1121
build-model-states-explored 680455 1117
build-model-states-explored 681571 1116
build-model-states-explored 682694 1123
build-model-states-explored 683811 1117
build-model-states-explored 684930 1119
build-model-states-explored 686048 1118
build-model-states-explored 687141 1093
build-model-states-explored 688251 1110
build-model-states-explored 689361 1110
build-model-states-explored 690463 1102
build-model-states-explored 691565 1102
build-model-states-explored 692657 1092
build-model-states-explored 693748 1091
build-model-states-explored 694839 1091
build-model-states-explored 695928 1089
build-model-states-explored 697014 1086
build-model-states-explored 698125 1111
build-model-states-explored 699228 1103
build-model-states-explored 700327 1099
build-model-states-explored 701428 1101
build-model-states-explored 702521 1093
build-model-states-explored 703619 1098
build-model-states-explored 704714 1095
build-model-states-explored 705808 1094
build-model-states-explored 706903 1095
build-model-states-explored 708001 1098
build-model-states-explored 709101 1100
build-model-states-explored 710199 1098
build-model-states-explored 711317 1118
build-model-states-explored 712421 1104
build-model-states-explored 713526 1105
build-model-states-explored 714633 1107
build-model-states-explored 715723 1090
build-model-states-explored 716825 1102
build-model-states-explored 717927 1102
build-model-states-explored 719013 1086
build-model-states-explored 720098 1085
build-model-states-explored 721177 1079
build-model-states-explored 722249 1072
build-model-states-explored 723322 1073
build-model-states-explored 724399 1077
build-model-states-explored 725466 1067
build-model-states-explored 726563 1097
build-model-states-explored 727652 1089
build-model-states-explored 728742 1090
build-model-states-explored 729832 1090
build-model-states-explored 730909 1077
build-model-states-explored 731994 1085
build-model-states-explored 733071 1077
build-model-states-explored 734146 1075
build-model-states-explored 735220 1074
build-model-states-explored 736308 1088
build-model-states-explored 737392 1084
build-model-states-explored 738464 1072
build-model-states-explored 739553 1089
build-model-states-explored 740645 1092
build-model-states-explored 741743 1098
build-model-states-explored 742828 1085
build-model-states-explored 743883 1055
build-model-states-explored 744947 1064
build-model-states-explored 745986 1039
build-model-states-explored 747002 1016
build-model-states-explored 748028 1026
build-model-states-explored 749061 1033
build-model-states-explored 750086 1025
build-model-states-explored 751159 1073
build-model-states-explored 752202 1043
build-model-states-explored 753274 1072
build-model-states-explored 754340 1066
build-model-states-explored 755407 1067
build-model-states-explored 756473 1066
build-model-states-explored 757540 1067
build-model-states-explored 758601 1061
build-model-states-explored 759657 1056
build-model-states-explored 760706 1049
build-model-states-explored 761777 1071
build-model-states-explored 762847 1070
build-model-states-explored 763928 1081
build-model-states-explored 765004 1076
build-model-states-explored 766085 1081
build-model-states-explored 767142 1057
build-model-states-explored 768144 1002
build-model-states-explored 769154 1010
build-model-states-explored 770183 1029
build-model-states-explored 771184 1001
build-model-states-explored 772234 1050
build-model-states-explored 773282 1048
build-model-states-explored 774348 1066
build-model-states-explored 775392 1044
build-model-states-explored 776456 1064
build-model-states-explored 777514 1058
build-model-states-explored 778563 1049
build-model-states-explored 779603 1040
build-model-states-explored 780648 1045
build-model-states-explored 781696 1048
build-model-states-explored 782730 1034
build-model-states-explored 783794 1064
build-model-states-explored 784859 1065
build-model-states-explored 785910 1051
build-model-states-explored 786964 1054
build-model-states-explored 788025 1061
build-model-states-explored 788946 921
build-model-states-explored 789878 932
build-model-states-explored 790885 1007
build-model-states-explored 791878 993
build-model-states-explored 792889 1011
build-model-states-explored 793875 986
build-model-states-explored 794881 1006
build-model-states-explored 795885 1004
build-model-states-explored 796874 989
build-model-states-explored 797871 997
build-model-states-explored 798868 997
build-model-states-explored 799872 1004
build-model-states-explored 800891 1019
build-model-states-explored 801908 1017
build-model-states-explored 802918 1010
build-model-states-explored 803947 1029
build-model-states-explored 804993 1046
build-model-states-explored 806043 1050
build-model-states-explored 807024 981
build-model-states-explored 808014 990
build-model-states-explored 809004 990
build-model-states-explored 810004 1000
build-model-states-explored 810992 988
build-model-states-explored 811990 998
build-model-states-explored 812985 995
build-model-states-explored 813970 985
build-model-states-explored 814962 992
build-model-states-explored 815948 986
build-model-states-explored 816956 1008
build-model-states-explored 817958 1002
build-model-states-explored 818970 1012
build-model-states-explored 820056 1086
build-model-states-explored 821125 1069
build-model-states-explored 822163 1038
build-model-states-explored 823195 1032
build-model-states-explored 824224 1029
build-model-states-explored 825262 1038
build-model-states-explored 826292 1030
build-model-states-explored 827313 1021
build-model-states-explored 828334 1021
build-model-states-explored 829353 1019
build-model-states-explored 830383 1030
build-model-states-explored 831399 1016
build-model-states-explored 832450 1051
build-model-states-explored 833503 1053
build-model-states-explored 834556 1053
build-model-states-explored 835572 1016
build-model-states-explored 836594 1022
build-model-states-explored 837608 1014
build-model-states-explored 838621 1013
build-model-states-explored 839633 1012
build-model-states-explored 840640 1007
build-model-states-explored 841657 1017
build-model-states-explored 842659 1002
build-model-states-explored 843703 1044
build-model-states-explored 844765 1062
build-model-states-explored 845810 1045
build-model-states-explored 846820 1010
build-model-states-explored 847821 1001
build-model-states-explored 848826 1005
build-model-states-explored 849836 1010
build-model-states-explored 850848 1012
build-model-states-explored 851858 1010
build-model-states-explored 852868 1010
build-model-states-explored 853928 1060
build-model-states-explored 854971 1043
build-model-states-explored 855971 1000
build-model-states-explored 856969 998
build-model-states-explored 857966 997
build-model-states-explored 858975 1009
build-model-states-explored 859973 998
build-model-states-explored 860990 1017
build-model-states-explored 862036 1046
build-model-states-explored 863036 1000
build-model-states-explored 864018 982
build-model-states-explored 865022 1004
build-model-states-explored 866019 997
build-model-states-explored 867004 985
build-model-states-explored 868045 1041
build-model-states-explored 869055 1010
build-model-states-explored 870042 987
build-model-states-explored 871037 995
build-model-states-explored 872028 991
build-model-states-explored 873050 1022
build-model-states-explored 874063 1013
build-model-states-explored 875057 994
build-model-states-explored 876037 980
build-model-states-explored 877034 997
build-model-states-explored 878057 1023
build-model-states-explored 879063 1006
build-model-states-explored 880066 1003
build-model-states-explored 881095 1029
build-model-states-explored 882100 1005
build-model-states-explored 883120 1020
build-model-states-explored 884136 1016
build-model-states-explored 885153 1017
build-model-states-explored 886165 1012
build-model-states-explored 887168 1003
build-model-states-explored 888171 1003
build-model-states-explored 889178 1007
build-model-states-explored 890198 1020
build-model-states-explored 891280 1082
build-model-states-explored 892359 1079
build-model-states-explored 893426 1067
build-model-states-explored 894455 1029
build-model-states-explored 895436 981
build-model-states-explored 896418 982
build-model-states-explored 897432 1014
build-model-states-explored 898437 1005
build-model-states-explored 899448 1011
build-model-states-explored 900445 997
build-model-states-explored 901470 1025
build-model-states-explored 902489 1019
build-model-states-explored 903512 1023
build-model-states-explored 904543 1031
build-model-states-explored 905560 1017
build-model-states-explored 906569 1009
build-model-states-explored 907574 1005
build-model-states-explored 908573 999
build-model-states-explored 909575 1002
build-model-states-explored 910552 977
build-model-states-explored 911520 968
build-model-states-explored 912521 1001
build-model-states-explored 913510 989
build-model-states-explored 914507 997
build-model-states-explored 915521 1014
build-model-states-explored 916516 995
build-model-states-explored 917488 972
build-model-states-explored 918472 984
build-model-states-explored 919458 986
build-model-states-explored 920451 993
build-model-states-explored 921443 992
build-model-states-explored 922429 986
build-model-states-explored 923413 984
build-model-states-explored 924407 994
build-model-states-explored 925391 984
build-model-states-explored 926377 986
build-model-states-explored 927369 992
build-model-states-explored 928354 985
build-model-states-explored 929341 987
build-model-states-explored 930330 989
build-model-states-explored 931318 988
build-model-states-explored 932309 991
build-model-states-explored 933269 960
build-model-states-explored 934256 987
build-model-states-explored 935245 989
build-model-states-explored 936209 964
build-model-states-explored 937184 975
build-model-states-explored 938137 953
build-model-states-explored 939075 938
build-model-states-explored 940019 944
build-model-states-explored 940971 952
build-model-states-explored 941919 948
build-model-states-explored 942893 974
build-model-states-explored 943849 956
build-model-states-explored 944813 964
build-model-states-explored 945763 950
build-model-states-explored 946677 914
build-model-states-explored 947599 922
build-model-states-explored 948519 920
build-model-states-explored 949457 938
build-model-states-explored 950399 942
build-model-states-explored 951319 920
build-model-states-explored 952246 927
build-model-states-explored 953189 943
build-model-states-explored 954118 929
build-model-states-explored 955035 917
build-model-states-explored 955982 947
build-model-states-explored 956915 933
build-model-states-explored 957814 899
build-model-states-explored 958728 914
build-model-states-explored 959655 927
build-model-states-explored 960600 945
build-model-states-explored 961524 924
build-model-states-explored 962416 892
build-model-states-explored 963295 879
build-model-states-explored 964142 847
build-model-states-explored 965032 890
build-model-states-explored 965868 836
build-model-states-explored 966702 834
build-model-states-explored 967601 899
build-model-states-explored 968471 870
build-model-states-explored 969368 897
build-model-states-explored 970216 848
build-model-states-explored 971113 897
build-model-states-explored 971970 857
build-model-states-explored 972849 879
build-model-states-explored 973722 873
build-model-states-explored 974585 863
build-model-states-explored 975430 845
build-model-states-explored 976281 851
build-model-states-explored 977127 846
build-model-states-explored 977968 841
build-model-states-explored 978847 879
build-model-states-explored 979725 878
build-model-states-explored 980675 950
build-model-states-explored 981544 869
build-model-states-explored 982415 871
build-model-states-explored 983302 887
build-model-states-explored 984186 884
build-model-states-explored 985042 856
build-model-states-explored 985865 823
build-model-states-explored 986628 763
build-model-states-explored 987352 724
build-model-states-explored 988101 749
build-model-states-explored 988992 891
build-model-states-explored 989846 854
build-model-states-explored 990716 870
build-model-states-explored 991513 797
build-model-states-explored 992308 795
build-model-states-explored 993084 776
build-model-states-explored 993907 823
build-model-states-explored 994728 821
build-model-states-explored 995544 816
build-model-states-explored 996361 817
build-model-states-explored 997117 756
build-model-states-explored 997893 776
build-model-states-explored 998660 767
build-model-states-explored 999363 703
build-model-states-explored 1000177 814
build-model-states-explored 1000923 746
build-model-states-explored 1001686 763
build-model-states-explored 1002463 777
build-model-states-explored 1003122 659
build-model-states-explored 1003820 698
build-model-states-explored 1004516 696
build-model-states-explored 1005217 701
build-model-states-explored 1005870 653
build-model-states-explored 1006526 656
build-model-states-explored 1007202 676
build-model-states-explored 1007933 731
build-model-states-explored 1008619 686
build-model-states-explored 1009227 608
build-model-states-explored 1009868 641
build-model-states-explored 1010459 591
build-model-states-explored 1011078 619
build-model-states-explored 1011702 624
build-model-states-explored 1012328 626
build-model-states-explored 1012975 647
build-model-states-explored 1013593 618
build-model-states-explored 1014257 664
build-model-states-explored 1014869 612
build-model-states-explored 1015435 566
build-model-states-explored 1016076 641
build-model-states-explored 1016686 610
build-model-states-explored 1017418 732
build-model-states-explored 1018120 702
build-model-states-explored 1018661 541
build-model-states-explored 1019210 549
build-model-states-explored 1019710 500
build-model-states-explored 1020490 780
build-model-states-explored 1021205 715
build-model-states-explored 1021855 650
build-model-states-explored 1022575 720
build-model-states-explored 1023165 590
build-model-states-explored 1023712 547
build-model-states-explored 1024302 590
build-model-states-explored 1024953 651
build-model-states-explored 1025540 587
build-model-states-explored 1026114 574
build-model-states-explored 1026333 219
build-model-states-explored 1027439 1106
build-model-states-explored 1028552 1113
build-model-states-explored 1029663 1111
build-model-states-explored 1030772 1109
build-model-states-explored 1031876 1104
build-model-states-explored 1032994 1118
build-model-states-explored 1034112 1118
build-model-states-explored 1035229 1117
build-model-states-explored 1036371 1142
build-model-states-explored 1037510 1139
build-model-states-explored 1038631 1121
build-model-states-explored 1039746 1115
build-model-states-explored 1040850 1104
build-model-states-explored 1041961 1111
build-model-states-explored 1043072 1111
build-model-states-explored 1044182 1110
build-model-states-explored 1045292 1110
build-model-states-explored 1046403 1111
build-model-states-explored 1047514 1111
build-model-states-explored 1048628 1114
build-model-states-explored 1049762 1134
build-model-states-explored 1050892 1130
build-model-states-explored 1051998 1106
build-model-states-explored 1053106 1108
build-model-states-explored 1054214 1108
build-model-states-explored 1055320 1106
build-model-states-explored 1056423 1103
build-model-states-explored 1057534 1111
build-model-states-explored 1058641 1107
build-model-states-explored 1059752 1111
build-model-states-explored 1060878 1126
build-model-states-explored 1061999 1121
build-model-states-explored 1063095 1096
build-model-states-explored 1064195 1100
build-model-states-explored 1065294 1099
build-model-states-explored 1066398 1104
build-model-states-explored 1067500 1102
build-model-states-explored 1068597 1097
build-model-states-explored 1069711 1114
build-model-states-explored 1070837 1126
build-model-states-explored 1071939 1102
build-model-states-explored 1073033 1094
build-model-states-explored 1074135 1102
build-model-states-explored 1075237 1102
build-model-states-explored 1076337 1100
build-model-states-explored 1077445 1108
build-model-states-explored 1078573 1128
build-model-states-explored 1079672 1099
build-model-states-explored 1080771 1099
build-model-states-explored 1081876 1105
build-model-states-explored 1082971 1095
build-model-states-explored 1084084 1113
build-model-states-explored 1085203 1119
build-model-states-explored 1086299 1096
build-model-states-explored 1087399 1100
build-model-states-explored 1088495 1096
build-model-states-explored 1089612 1117
build-model-states-explored 1090720 1108
build-model-states-explored 1091823 1103
build-model-states-explored 1092919 1096
build-model-states-explored 1094037 1118
build-model-states-explored 1095151 1114
build-model-states-explored 1096257 1106
build-model-states-explored 1097375 1118
build-model-states-explored 1097962 587
build-model-states-explored 1098841 879
build-model-states-explored 1098847 6
build-model-states-explored 1098847 0
build-model-states-explored 1098847 0
build-model-states-explored 1098847 0
build-model-states-explored 1099929 1082
build-model-states-explored 1101031 1102
build-model-states-explored 1102138 1107
build-model-states-explored 1103245 1107
build-model-states-explored 1104349 1104
build-model-states-explored 1105459 1110
build-model-states-explored 1106569 1110
build-model-states-explored 1107681 1112
build-model-states-explored 1108780 1099
build-model-states-explored 1109878 1098
build-model-states-explored 1111001 1123
build-model-states-explored 1112121 1120
build-model-states-explored 1113242 1121
build-model-states-explored 1114354 1112
build-model-states-explored 1115463 1109
build-model-states-explored 1116578 1115
build-model-states-explored 1117688 1110
build-model-states-explored 1118792 1104
build-model-states-explored 1119900 1108
build-model-states-explored 1121006 1106
build-model-states-explored 1122111 1105
build-model-states-explored 1123219 1108
build-model-states-explored 1124321 1102
build-model-states-explored 1125431 1110
build-model-states-explored 1126532 1101
build-model-states-explored 1127638 1106
build-model-states-explored 1128730 1092
build-model-states-explored 1129824 1094
build-model-states-explored 1130929 1105
build-model-states-explored 1132032 1103
build-model-states-explored 1133135 1103
build-model-states-explored 1134236 1101
build-model-states-explored 1135337 1101
build-model-states-explored 1136442 1105
build-model-states-explored 1137538 1096
build-model-states-explored 1138642 1104
build-model-states-explored 1139758 1116
build-model-states-explored 1140875 1117
build-model-states-explored 1141989 1114
build-model-states-explored 1143096 1107
build-model-states-explored 1144202 1106
build-model-states-explored 1145304 1102
build-model-states-explored 1146401 1097
build-model-states-explored 1147492 1091
build-model-states-explored 1148592 1100
build-model-states-explored 1149683 1091
build-model-states-explored 1150783 1100
build-model-states-explored 1151881 1098
build-model-states-explored 1152988 1107
build-model-states-explored 1154087 1099
build-model-states-explored 1155185 1098
build-model-states-explored 1156285 1100
build-model-states-explored 1157384 1099
build-model-states-explored 1158479 1095
build-model-states-explored 1159569 1090
build-model-states-explored 1160659 1090
build-model-states-explored 1161759 1100
build-model-states-explored 1162858 1099
build-model-states-explored 1163969 1111
build-model-states-explored 1165084 1115
build-model-states-explored 1166194 1110
build-model-states-explored 1167299 1105
build-model-states-explored 1168392 1093
build-model-states-explored 1169487 1095
build-model-states-explored 1170581 1094
build-model-states-explored 1171673 1092
build-model-states-explored 1172774 1101
build-model-states-explored 1173872 1098
build-model-states-explored 1174965 1093
build-model-states-explored 1176064 1099
build-model-states-explored 1177159 1095
build-model-states-explored 1178249 1090
build-model-states-explored 1179342 1093
build-model-states-explored 1180435 1093
build-model-states-explored 1181528 1093
build-model-states-explored 1182612 1084
build-model-states-explored 1183710 1098
build-model-states-explored 1184812 1102
build-model-states-explored 1185922 1110
build-model-states-explored 1187028 1106
build-model-states-explored 1188131 1103
build-model-states-explored 1189218 1087
build-model-states-explored 1190312 1094
build-model-states-explored 1191398 1086
build-model-states-explored 1192488 1090
build-model-states-explored 1193571 1083
build-model-states-explored 1194662 1091
build-model-states-explored 1195750 1088
build-model-states-explored 1196822 1072
build-model-states-explored 1197882 1060
build-model-states-explored 1198950 1068
build-model-states-explored 1200035 1085
build-model-states-explored 1201112 1077
build-model-states-explored 1202192 1080
build-model-states-explored 1203290 1098
build-model-states-explored 1204397 1107
build-model-states-explored 1205501 1104
build-model-states-explored 1206599 1098
build-model-states-explored 1207684 1085
build-model-states-explored 1208775 1091
build-model-states-explored 1209864 1089
build-model-states-explored 1210947 1083
build-model-states-explored 1212035 1088
build-model-states-explored 1213119 1084
build-model-states-explored 1214201 1082
build-model-states-explored 1215282 1081
build-model-states-explored 1216365 1083
build-model-states-explored 1217452 1087
build-model-states-explored 1218536 1084
build-model-states-explored 1219645 1109
build-model-states-explored 1220751 1106
build-model-states-explored 1221849 1098
build-model-states-explored 1222913 1064
build-model-states-explored 1223992 1079
build-model-states-explored 1225056 1064
build-model-states-explored 1226137 1081
build-model-states-explored 1227223 1086
build-model-states-explored 1228305 1082
build-model-states-explored 1229388 1083
build-model-states-explored 1230474 1086
build-model-states-explored 1231561 1087
build-model-states-explored 1232665 1104
build-model-states-explored 1233771 1106
build-model-states-explored 1234869 1098
build-model-states-explored 1235952 1083
build-model-states-explored 1237033 1081
build-model-states-explored 1238120 1087
build-model-states-explored 1239205 1085
build-model-states-explored 1240292 1087
build-model-states-explored 1241376 1084
build-model-states-explored 1242455 1079
build-model-states-explored 1243552 1097
build-model-states-explored 1244654 1102
build-model-states-explored 1245750 1096
build-model-states-explored 1246833 1083
build-model-states-explored 1247917 1084
build-model-states-explored 1248997 1080
build-model-states-explored 1250074 1077
build-model-states-explored 1251159 1085
build-model-states-explored 1252239 1080
build-model-states-explored 1253336 1097
build-model-states-explored 1254440 1104
build-model-states-explored 1255519 1079
build-model-states-explored 1256598 1079
build-model-states-explored 1257679 1081
build-model-states-explored 1258761 1082
build-model-states-explored 1259839 1078
build-model-states-explored 1260930 1091
build-model-states-explored 1262035 1105
build-model-states-explored 1263115 1080
build-model-states-explored 1264195 1080
build-model-states-explored 1265279 1084
build-model-states-explored 1266353 1074
build-model-states-explored 1267446 1093
build-model-states-explored 1268544 1098
build-model-states-explored 1269619 1075
build-model-states-explored 1270701 1082
build-model-states-explored 1271776 1075
build-model-states-explored 1272868 1092
build-model-states-explored 1273960 1092
build-model-states-explored 1275040 1080
build-model-states-explored 1276114 1074
build-model-states-explored 1277205 1091
build-model-states-explored 1278298 1093
build-model-states-explored 1279381 1083
build-model-states-explored 1280477 1096
build-model-states-explored 1281570 1093
build-model-states-explored 1282654 1084
build-model-states-explored 1283749 1095
build-model-states-explored 1284833 1084
build-model-states-explored 1285923 1090
build-model-states-explored 1287004 1081
build-model-states-explored 1288090 1086
build-model-states-explored 1289181 1091
build-model-states-explored 1290271 1090
build-model-states-explored 1291376 1105
build-model-states-explored 1292476 1100
build-model-states-explored 1293575 1099
build-model-states-explored 1294670 1095
build-model-states-explored 1295769 1099
build-model-states-explored 1296872 1103
build-model-states-explored 1297963 1091
build-model-states-explored 1299066 1103
build-model-states-explored 1300160 1094
build-model-states-explored 1301254 1094
build-model-states-explored 1302351 1097
build-model-states-explored 1303441 1090
build-model-states-explored 1304546 1105
build-model-states-explored 1305640 1094
build-model-states-explored 1306745 1105
build-model-states-explored 1307842 1097
build-model-states-explored 1308937 1095
build-model-states-explored 1310037 1100
build-model-states-explored 1311135 1098
build-model-states-explored 1312226 1091
build-model-states-explored 1313319 1093
build-model-states-explored 1314403 1084
build-model-states-explored 1315501 1098
build-model-states-explored 1316600 1099
build-model-states-explored 1317701 1101
build-model-states-explored 1318797 1096
build-model-states-explored 1319896 1099
build-model-states-explored 1320995 1099
build-model-states-explored 1322071 1076
build-model-states-explored 1323130 1059
build-model-states-explored 1324200 1070
build-model-states-explored 1325260 1060
build-model-states-explored 1326321 1061
build-model-states-explored 1327398 1077
build-model-states-explored 1328474 1076
build-model-states-explored 1329538 1064
build-model-states-explored 1330618 1080
build-model-states-explored 1331690 1072
build-model-states-explored 1332754 1064
build-model-states-explored 1333825 1071
build-model-states-explored 1334891 1066
build-model-states-explored 1335962 1071
build-model-states-explored 1337009 1047
build-model-states-explored 1338088 1079
build-model-states-explored 1339173 1085
build-model-states-explored 1340261 1088
build-model-states-explored 1341348 1087
build-model-states-explored 1342432 1084
build-model-states-explored 1343489 1057
build-model-states-explored 1344546 1057
build-model-states-explored 1345608 1062
build-model-states-explored 1346666 1058
build-model-states-explored 1347722 1056
build-model-states-explored 1348785 1063
build-model-states-explored 1349838 1053
build-model-states-explored 1350892 1054
build-model-states-explored 1351948 1056
build-model-states-explored 1353007 1059
build-model-states-explored 1354063 1056
build-model-states-explored 1355101 1038
build-model-states-explored 1356170 1069
build-model-states-explored 1357238 1068
build-model-states-explored 1358322 1084
build-model-states-explored 1359407 1085
build-model-states-explored 1360493 1086
build-model-states-explored 1361545 1052
build-model-states-explored 1362606 1061
build-model-states-explored 1363652 1046
build-model-states-explored 1364712 1060
build-model-states-explored 1365767 1055
build-model-states-explored 1366817 1050
build-model-states-explored 1367871 1054
build-model-states-explored 1368923 1052
build-model-states-explored 1369976 1053
build-model-states-explored 1371023 1047
build-model-states-explored 1372087 1064
build-model-states-explored 1373153 1066
build-model-states-explored 1374250 1097
build-model-states-explored 1375345 1095
build-model-states-explored 1376422 1077
build-model-states-explored 1377479 1057
build-model-states-explored 1378543 1064
build-model-states-explored 1379610 1067
build-model-states-explored 1380672 1062
build-model-states-explored 1381733 1061
build-model-states-explored 1382790 1057
build-model-states-explored 1383839 1049
build-model-states-explored 1384898 1059
build-model-states-explored 1385962 1064
build-model-states-explored 1387046 1084
build-model-states-explored 1388135 1089
build-model-states-explored 1389217 1082
build-model-states-explored 1390273 1056
build-model-states-explored 1391332 1059
build-model-states-explored 1392392 1060
build-model-states-explored 1393449 1057
build-model-states-explored 1394500 1051
build-model-states-explored 1395548 1048
build-model-states-explored 1396611 1063
build-model-states-explored 1397676 1065
build-model-states-explored 1398761 1085
build-model-states-explored 1399846 1085
build-model-states-explored 1400902 1056
build-model-states-explored 1401962 1060
build-model-states-explored 1403014 1052
build-model-states-explored 1404070 1056
build-model-states-explored 1405116 1046
build-model-states-explored 1406180 1064
build-model-states-explored 1407247 1067
build-model-states-explored 1408333 1086
build-model-states-explored 1409412 1079
build-model-states-explored 1410464 1052
build-model-states-explored 1411511 1047
build-model-states-explored 1412552 1041
build-model-states-explored 1413610 1058
build-model-states-explored 1414668 1058
build-model-states-explored 1415752 1084
build-model-states-explored 1416834 1082
build-model-states-explored 1417881 1047
build-model-states-explored 1418918 1037
build-model-states-explored 1419974 1056
build-model-states-explored 1421032 1058
build-model-states-explored 1422109 1077
build-model-states-explored 1423182 1073
build-model-states-explored 1424221 1039
build-model-states-explored 1425277 1056
build-model-states-explored 1426331 1054
build-model-states-explored 1427403 1072
build-model-states-explored 1428464 1061
build-model-states-explored 1429516 1052
build-model-states-explored 1430569 1053
build-model-states-explored 1431634 1065
build-model-states-explored 1432692 1058
build-model-states-explored 1433726 1034
build-model-states-explored 1434773 1047
build-model-states-explored 1435853 1080
build-model-states-explored 1436918 1065
build-model-states-explored 1438001 1083
build-model-states-explored 1439065 1064
build-model-states-explored 1440134 1069
build-model-states-explored 1441203 1069
build-model-states-explored 1442266 1063
build-model-states-explored 1443346 1080
build-model-states-explored 1444423 1077
build-model-states-explored 1445513 1090
build-model-states-explored 1446601 1088
build-model-states-explored 1447689 1088
build-model-states-explored 1448769 1080
build-model-states-explored 1449851 1082
build-model-states-explored 1450933 1082
build-model-states-explored 1452009 1076
build-model-states-explored 1453093 1084
build-model-states-explored 1454167 1074
build-model-states-explored 1455258 1091
build-model-states-explored 1456334 1076
build-model-states-explored 1457426 1092
build-model-states-explored 1458504 1078
build-model-states-explored 1459588 1084
build-model-states-explored 1460673 1085
build-model-states-explored 1461749 1076
build-model-states-explored 1462827 1078
build-model-states-explored 1463907 1080
build-model-states-explored 1464986 1079
build-model-states-explored 1466043 1057
build-model-states-explored 1467130 1087
build-model-states-explored 1468217 1087
build-model-states-explored 1469302 1085
build-model-states-explored 1470377 1075
build-model-states-explored 1471448 1071
build-model-states-explored 1472507 1059
build-model-states-explored 1473543 1036
build-model-states-explored 1474603 1060
build-model-states-explored 1475632 1029
build-model-states-explored 1476686 1054
build-model-states-explored 1477721 1035
build-model-states-explored 1478769 1048
build-model-states-explored 1479809 1040
build-model-states-explored 1480838 1029
build-model-states-explored 1481874 1036
build-model-states-explored 1482907 1033
build-model-states-explored 1483953 1046
build-model-states-explored 1484979 1026
build-model-states-explored 1486029 1050
build-model-states-explored 1487083 1054
build-model-states-explored 1488157 1074
build-model-states-explored 1489218 1061
build-model-states-explored 1490281 1063
build-model-states-explored 1491313 1032
build-model-states-explored 1492362 1049
build-model-states-explored 1493389 1027
build-model-states-explored 1494436 1047
build-model-states-explored 1495476 1040
build-model-states-explored 1496505 1029
build-model-states-explored 1497537 1032
build-model-states-explored 1498571 1034
build-model-states-explored 1499606 1035
build-model-states-explored 1500634 1028
build-model-states-explored 1501676 1042
build-model-states-explored 1502727 1051
build-model-states-explored 1503811 1084
build-model-states-explored 1504887 1076
build-model-states-explored 1505951 1064
build-model-states-explored 1506988 1037
build-model-states-explored 1508029 1041
build-model-states-explored 1509074 1045
build-model-states-explored 1510111 1037
build-model-states-explored 1511144 1033
build-model-states-explored 1512182 1038
build-model-states-explored 1513209 1027
build-model-states-explored 1514224 1015
build-model-states-explored 1515269 1045
build-model-states-explored 1516335 1066
build-model-states-explored 1517408 1073
build-model-states-explored 1518476 1068
build-model-states-explored 1519483 1007
build-model-states-explored 1520501 1018
build-model-states-explored 1521531 1030
build-model-states-explored 1522558 1027
build-model-states-explored 1523584 1026
build-model-states-explored 1524607 1023
build-model-states-explored 1525625 1018
build-model-states-explored 1526659 1034
build-model-states-explored 1527730 1071
build-model-states-explored 1528795 1065
build-model-states-explored 1529849 1054
build-model-states-explored 1530880 1031
build-model-states-explored 1531908 1028
build-model-states-explored 1532938 1030
build-model-states-explored 1533960 1022
build-model-states-explored 1534972 1012
build-model-states-explored 1536011 1039
build-model-states-explored 1537058 1047
build-model-states-explored 1538134 1076
build-model-states-explored 1539178 1044
build-model-states-explored 1540201 1023
build-model-states-explored 1541224 1023
build-model-states-explored 1542242 1018
build-model-states-explored 1543249 1007
build-model-states-explored 1544274 1025
build-model-states-explored 1545332 1058
build-model-states-explored 1546385 1053
build-model-states-explored 1547408 1023
build-model-states-explored 1548422 1014
build-model-states-explored 1549435 1013
build-model-states-explored 1550470 1035
build-model-states-explored 1551523 1053
build-model-states-explored 1552580 1057
build-model-states-explored 1553594 1014
build-model-states-explored 1554603 1009
build-model-states-explored 1555637 1034
build-model-states-explored 1556682 1045
build-model-states-explored 1557737 1055
build-model-states-explored 1558742 1005
build-model-states-explored 1559775 1033
build-model-states-explored 1560810 1035
build-model-states-explored 1561856 1046
build-model-states-explored 1562875 1019
build-model-states-explored 1563910 1035
build-model-states-explored 1564963 1053
build-model-states-explored 1565956 993
build-model-states-explored 1566978 1022
build-model-states-explored 1568035 1057
build-model-states-explored 1569087 1052
build-model-states-explored 1570140 1053
build-model-states-explored 1571185 1045
build-model-states-explored 1572218 1033
build-model-states-explored 1573272 1054
build-model-states-explored 1574331 1059
build-model-states-explored 1575396 1065
build-model-states-explored 1576478 1082
build-model-states-explored 1577531 1053
build-model-states-explored 1578579 1048
build-model-states-explored 1579635 1056
build-model-states-explored 1580692 1057
build-model-states-explored 1581753 1061
build-model-states-explored 1582800 1047
build-model-states-explored 1583855 1055
build-model-states-explored 1584900 1045
build-model-states-explored 1585957 1057
build-model-states-explored 1587009 1052
build-model-states-explored 1588057 1048
build-model-states-explored 1589104 1047
build-model-states-explored 1590158 1054
build-model-states-explored 1591212 1054
build-model-states-explored 1592270 1058
build-model-states-explored 1593325 1055
build-model-states-explored 1594379 1054
build-model-states-explored 1595449 1070
build-model-states-explored 1596507 1058
build-model-states-explored 1597561 1054
build-model-states-explored 1598588 1027
build-model-states-explored 1599610 1022
build-model-states-explored 1600630 1020
build-model-states-explored 1601653 1023
build-model-states-explored 1602664 1011
build-model-states-explored 1603680 1016
build-model-states-explored 1604700 1020
build-model-states-explored 1605718 1018
build-model-states-explored 1606734 1016
build-model-states-explored 1607746 1012
build-model-states-explored 1608782 1036
build-model-states-explored 1609803 1021
build-model-states-explored 1610842 1039
build-model-states-explored 1611904 1062
build-model-states-explored 1612953 1049
build-model-states-explored 1613972 1019
build-model-states-explored 1614984 1012
build-model-states-explored 1615985 1001
build-model-states-explored 1617002 1017
build-model-states-explored 1618014 1012
build-model-states-explored 1619021 1007
build-model-states-explored 1620036 1015
build-model-states-explored 1621043 1007
build-model-states-explored 1622062 1019
build-model-states-explored 1623060 998
build-model-states-explored 1624094 1034
build-model-states-explored 1625149 1055
build-model-states-explored 1626202 1053
build-model-states-explored 1627207 1005
build-model-states-explored 1628216 1009
build-model-states-explored 1629222 1006
build-model-states-explored 1630223 1001
build-model-states-explored 1631230 1007
build-model-states-explored 1632239 1009
build-model-states-explored 1633251 1012
build-model-states-explored 1634240 989
build-model-states-explored 1635270 1030
build-model-states-explored 1636319 1049
build-model-states-explored 1637357 1038
build-model-states-explored 1638341 984
build-model-states-explored 1639346 1005
build-model-states-explored 1640345 999
build-model-states-explored 1641344 999
build-model-states-explored 1642357 1013
build-model-states-explored 1643364 1007
build-model-states-explored 1644360 996
build-model-states-explored 1645404 1044
build-model-states-explored 1646449 1045
build-model-states-explored 1647431 982
build-model-states-explored 1648424 993
build-model-states-explored 1649423 999
build-model-states-explored 1650424 1001
build-model-states-explored 1651427 1003
build-model-states-explored 1652419 992
build-model-states-explored 1653470 1051
build-model-states-explored 1654493 1023
build-model-states-explored 1655488 995
build-model-states-explored 1656485 997
build-model-states-explored 1657494 1009
build-model-states-explored 1658487 993
build-model-states-explored 1659514 1027
build-model-states-explored 1660545 1031
build-model-states-explored 1661542 997
build-model-states-explored 1662552 1010
build-model-states-explored 1663547 995
build-model-states-explored 1664562 1015
build-model-states-explored 1665598 1036
build-model-states-explored 1666600 1002
build-model-states-explored 1667600 1000
build-model-states-explored 1668587 987
build-model-states-explored 1669632 1045
build-model-states-explored 1670640 1008
build-model-states-explored 1671655 1015
build-model-states-explored 1672698 1043
build-model-states-explored 1673713 1015
build-model-states-explored 1674731 1018
build-model-states-explored 1675754 1023
build-model-states-explored 1676771 1017
build-model-states-explored 1677799 1028
build-model-states-explored 1678813 1014
build-model-states-explored 1679823 1010
build-model-states-explored 1680841 1018
build-model-states-explored 1681865 1024
build-model-states-explored 1682936 1071
build-model-states-explored 1684008 1072
build-model-states-explored 1685036 1028
build-model-states-explored 1686079 1043
build-model-states-explored 1687121 1042
build-model-states-explored 1688175 1054
build-model-states-explored 1689213 1038
build-model-states-explored 1690266 1053
build-model-states-explored 1691309 1043
build-model-states-explored 1692353 1044
build-model-states-explored 1693387 1034
build-model-states-explored 1694428 1041
build-model-states-explored 1695464 1036
build-model-states-explored 1696505 1041
build-model-states-explored 1697541 1036
build-model-states-explored 1698586 1045
build-model-states-explored 1699633 1047
build-model-states-explored 1700699 1066
build-model-states-explored 1701743 1044
build-model-states-explored 1702769 1026
build-model-states-explored 1703754 985
build-model-states-explored 1704759 1005
build-model-states-explored 1705759 1000
build-model-states-explored 1706745 986
build-model-states-explored 1707739 994
build-model-states-explored 1708733 994
build-model-states-explored 1709726 993
build-model-states-explored 1710724 998
build-model-states-explored 1711709 985
build-model-states-explored 1712722 1013
build-model-states-explored 1713755 1033
build-model-states-explored 1714786 1031
build-model-states-explored 1715807 1021
build-model-states-explored 1716792 985
build-model-states-explored 1717777 985
build-model-states-explored 1718772 995
build-model-states-explored 1719760 988
build-model-states-explored 1720748 988
build-model-states-explored 1721732 984
build-model-states-explored 1722725 993
build-model-states-explored 1723708 983
build-model-states-explored 1724731 1023
build-model-states-explored 1725757 1026
build-model-states-explored 1726764 1007
build-model-states-explored 1727750 986
build-model-states-explored 1728709 959
build-model-states-explored 1729666 957
build-model-states-explored 1730646 980
build-model-states-explored 1731635 989
build-model-states-explored 1732624 989
build-model-states-explored 1733601 977
build-model-states-explored 1734629 1028
build-model-states-explored 1735658 1029
build-model-states-explored 1736630 972
build-model-states-explored 1737601 971
build-model-states-explored 1738587 986
build-model-states-explored 1739568 981
build-model-states-explored 1740557 989
build-model-states-explored 1741532 975
build-model-states-explored 1742564 1032
build-model-states-explored 1743562 998
build-model-states-explored 1744528 966
build-model-states-explored 1745494 966
build-model-states-explored 1746480 986
build-model-states-explored 1747448 968
build-model-states-explored 1748448 1000
build-model-states-explored 1749467 1019
build-model-states-explored 1750432 965
build-model-states-explored 1751409 977
build-model-states-explored 1752388 979
build-model-states-explored 1753351 963
build-model-states-explored 1754380 1029
build-model-states-explored 1755362 982
build-model-states-explored 1756344 982
build-model-states-explored 1757308 964
build-model-states-explored 1758313 1005
build-model-states-explored 1759311 998
build-model-states-explored 1760287 976
build-model-states-explored 1761294 1007
build-model-states-explored 1762311 1017
build-model-states-explored 1763299 988
build-model-states-explored 1764319 1020
build-model-states-explored 1765309 990
build-model-states-explored 1766318 1009
build-model-states-explored 1767309 991
build-model-states-explored 1768286 977
build-model-states-explored 1769286 1000
build-model-states-explored 1770285 999
build-model-states-explored 1771290 1005
build-model-states-explored 1772335 1045
build-model-states-explored 1773395 1060
build-model-states-explored 1774458 1063
build-model-states-explored 1775488 1030
build-model-states-explored 1776522 1034
build-model-states-explored 1777542 1020
build-model-states-explored 1778580 1038
build-model-states-explored 1779612 1032
build-model-states-explored 1780645 1033
build-model-states-explored 1781668 1023
build-model-states-explored 1782686 1018
build-model-states-explored 1783710 1024
build-model-states-explored 1784714 1004
build-model-states-explored 1785747 1033
build-model-states-explored 1786779 1032
build-model-states-explored 1787807 1028
build-model-states-explored 1788812 1005
build-model-states-explored 1789765 953
build-model-states-explored 1790735 970
build-model-states-explored 1791710 975
build-model-states-explored 1792678 968
build-model-states-explored 1793643 965
build-model-states-explored 1794603 960
build-model-states-explored 1795574 971
build-model-states-explored 1796501 927
build-model-states-explored 1797503 1002
build-model-states-explored 1798513 1010
build-model-states-explored 1799516 1003
build-model-states-explored 1800466 950
build-model-states-explored 1801438 972
build-model-states-explored 1802393 955
build-model-states-explored 1803344 951
build-model-states-explored 1804305 961
build-model-states-explored 1805264 959
build-model-states-explored 1806212 948
build-model-states-explored 1807209 997
build-model-states-explored 1808233 1024
build-model-states-explored 1809218 985
build-model-states-explored 1810169 951
build-model-states-explored 1811118 949
build-model-states-explored 1812061 943
build-model-states-explored 1813022 961
build-model-states-explored 1813961 939
build-model-states-explored 1814937 976
build-model-states-explored 1815958 1021
build-model-states-explored 1816921 963
build-model-states-explored 1817873 952
build-model-states-explored 1818832 959
build-model-states-explored 1819762 930
build-model-states-explored 1820723 961
build-model-states-explored 1821716 993
build-model-states-explored 1822706 990
build-model-states-explored 1823630 924
build-model-states-explored 1824563 933
build-model-states-explored 1825491 928
build-model-states-explored 1826436 945
build-model-states-explored 1827440 1004
build-model-states-explored 1828405 965
build-model-states-explored 1829327 922
build-model-states-explored 1830296 969
build-model-states-explored 1831272 976
build-model-states-explored 1832258 986
build-model-states-explored 1833202 944
build-model-states-explored 1834181 979
build-model-states-explored 1835180 999
build-model-states-explored 1836138 958
build-model-states-explored 1837129 991
build-model-states-explored 1838069 940
build-model-states-explored 1838993 924
build-model-states-explored 1839984 991
build-model-states-explored 1840964 980
build-model-states-explored 1841933 969
build-model-states-explored 1842925 992
build-model-states-explored 1843916 991
build-model-states-explored 1844914 998
build-model-states-explored 1845920 1006
build-model-states-explored 1846925 1005
build-model-states-explored 1847930 1005
build-model-states-explored 1848914 984
build-model-states-explored 1849904 990
build-model-states-explored 1850903 999
build-model-states-explored 1851897 994
build-model-states-explored 1852885 988
build-model-states-explored 1853873 988
build-model-states-explored 1854862 989
build-model-states-explored 1855823 961
build-model-states-explored 1856834 1011
build-model-states-explored 1857833 999
build-model-states-explored 1858817 984
build-model-states-explored 1859763 946
build-model-states-explored 1860705 942
build-model-states-explored 1861640 935
build-model-states-explored 1862565 925
build-model-states-explored 1863492 927
build-model-states-explored 1864412 920
build-model-states-explored 1865324 912
build-model-states-explored 1866263 939
build-model-states-explored 1867265 1002
build-model-states-explored 1868258 993
build-model-states-explored 1869169 911
build-model-states-explored 1870080 911
build-model-states-explored 1871009 929
build-model-states-explored 1871946 937
build-model-states-explored 1872861 915
build-model-states-explored 1873766 905
build-model-states-explored 1874765 999
build-model-states-explored 1875744 979
build-model-states-explored 1876662 918


----------
Computation aborted after 1800.0859050750732 seconds since the total time limit of 1800 seconds was exceeded.
Model:	pnueli-zuck v.1 (MDP)
Parameter(s)	N = 30
Property:	live (prob-reach)